# -*- mode: snippet -*-
# name: Tactic Notation
# --
Tactic Notation $1 := $2.
